Is Strategic Programming a Viable Paradigm?
نویسنده
چکیده
This discussion paper for the Workshop on Reduction Strategies in Programming and Rewriting (WRS’01) speculates on the viability of strategic programming in mainstream programming and in two selected application areas: theorem proving and programming-in-the-large.
منابع مشابه
An Adoption Model of Telework for Organizations
Despite the variety of potential benefits to society, organizations, and individuals, telework growth has been moderate. We posit that the materialization of telework potential is viable when management recognizes its innovative value and accordingly changes the implementation paradigm from selection to adaptation and from ad hoc based temporary solution of an individual problem to the strategi...
متن کاملDesigning a digital technology model on the environment and strategic marketing capabilities of Hamedan Petroleum Products Distribution Company
The main purpose of this research is to design a digital technology model on the environment and strategic marketing capabilities of Hamedan Petroleum Products Distribution Company. Qualitative data-based research method and paradigm model have been used to develop the research model. The statistical population of this study was fourteen experts in Hamedan Petroleum Products Distribution Compan...
متن کاملAn application of logarithmic fuzzy preference programming-based AHP and FRS techniques to develop and prioritize strategic objectives
Vital decisions made at the strategic level in an organization are not only intricate but also costly to alter. It is therefore important to find a comprehensive approach to deal with such a possibility. One of the major problems of a common balanced scorecard (BSC)-based model in strategic management is lack of a ranking system for strategic objectives in order to enable prioritization of the ...
متن کاملDesign of supply chain in fuzzy environment
Nowadays, customer expectations are increasing and organizations are prone to operate in an uncertain environment. Under this uncertain environment, the ultimate success of the firm depends on its ability to integrate business processes among supply chain partners. Supply chain management emphasizes cross-functional links to improve the competitive strategy of organizations. Now, companies are ...
متن کاملA Novel Model for the Analysis of Interactions Between Governments and Agricultures in a Study of Social Beneficial Externalities Based on the Stackelberg Game: A Case Study on Cotton Production
Production is a key economic activity with potential long-term social benefits that can be thoroughly realised only if governments comply with their duties towards domestic production. Governments are responsible for the production of sustainable agricultural products via appropriate allocation of subsidies and regulation of price policies that would help take advantage of the potentials underl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 57 شماره
صفحات -
تاریخ انتشار 2001